Szałas, Andrzej: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Combustion Reactions of Poly(Carbon Monofluoride), (CF)n, with Different Reductants and Characterization of the Products

Stanisław Cudziło, Mateusz Szala, Andrzej Huczko, Michał Bystrzejewski

Journal:

Propellants, Explosives, Pyrotechnics

Year:

2007

Language:

english

File:

PDF, 551 KB

english, 2007

2

Arithmetical axiomatization of first-order temporal logic

Journal:

Information Processing Letters

Year:

1987

Language:

english

File:

PDF, 332 KB

english, 1987

3

[IEEE 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Warsaw, Poland (2014.8.11-2014.8.14)] 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Lightweight Reasoning with Incomplete and Inconsistent Information: A Case Study

Bialek, Lukasz, Szalas, Andrzej

Year:

2014

Language:

english

File:

PDF, 248 KB

english, 2014

4

Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals

Dov M. Gabbay, Andrzej Szałas

Journal:

Year:

2007

Language:

english

File:

PDF, 203 KB

english, 2007

5

Computing Circumscription Revisited: A Reduction Algorithm

Patrick Doherty, Witold Łukaszewicz, Andrzej SzaŁas

Journal:

Journal of Automated Reasoning

Year:

1997

Language:

english

File:

PDF, 377 KB

english, 1997

6

Second-order reasoning in description logics

Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Year:

2006

Language:

english

File:

PDF, 117 KB

english, 2006

7

Toxic effect assessment of aminotetrazoles and high-energetic azotetrazole salts on soil microbial respiration

Borkowski, Andrzej, Szala, Mateusz

Journal:

Chemistry and Ecology

Year:

2014

Language:

english

File:

PDF, 822 KB

english, 2014

8

Logical foundations and complexity of 4QL, a query language with unrestricted negation

Maluszyński, Jan, Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Year:

2011

Language:

english

File:

PDF, 221 KB

english, 2011

9

Approximate databases: a support tool for approximate reasoning

Doherty, Patrick, Magnusson, Martin, Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Year:

2006

Language:

english

File:

PDF, 311 KB

english, 2006

10

Influence of 1,2,4,5-tetrazine derivatives on growth of bacterial consortium isolated from soil

Borkowski, Andrzej, Szala, Mateusz, Wolicka, Dorota

Journal:

Chemistry and Ecology

Year:

2011

Language:

english

File:

PDF, 285 KB

english, 2011

11

On the Correspondence Between Modal and Classical Logic: an Automated Approach

SZALAS, ANDRZEJ

Journal:

Journal of Logic and Computation

Year:

1993

Language:

english

File:

PDF, 750 KB

english, 1993

12

The effects of welding parameters on the tensile shear strength of refill friction stir spot welding of 7075-T6 aluminium alloy joints

Wydrzyński, Dawid, Bucior, Magdalena, Kubit, Andrzej, Borys, M., Czyż, Z., Falkowicz, K., Kujawska, J., Kulisz, M., Szala, M.

Journal:

ITM Web of Conferences

Year:

2017

Language:

english

File:

PDF, 766 KB

english, 2017

13

Combustion Synthesis as a Novel Method for Production of 1-D SiC Nanostructures.

Andrzej Huczko, Michal Bystrzejewski, Hubert Lange, Agnieszka Fabianowska, Stanislaw Cudzilo, Andrzej Panas, Mateusz Szala

Journal:

Year:

2005

File:

PDF, 10 KB

2005

14

Concerning the semantic consequence relation in first-order temporal logic

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 332 KB

english, 1986

15

Incompleteness of first-order temporal logic with until

Andrzej Szalas, Leszek Holenderski

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 1.06 MB

english, 1988

16

On strictly arithmetical completeness in logics of programs

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 892 KB

english, 1991

17

Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic

Barbara Dunin-Ke¸plicz, Linh Anh Nguyen, Andrzej Szałas

Journal:

International Journal of Approximate Reasoning

Year:

2010

Language:

english

File:

PDF, 835 KB

english, 2010

18

Voting by Eliminating Quantifiers

Dov M. Gabbay, Andrzej Szałas

Journal:

Year:

2009

Language:

english

File:

PDF, 232 KB

english, 2009

19

Annotation Theories over Finite Graphs

Dov M. Gabbay, Andrzej Szałas

Journal:

Year:

2009

Language:

english

File:

PDF, 374 KB

english, 2009

20

ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse

Linh Anh Nguyen, Andrzej Szałas

Journal:

Year:

2011

Language:

english

File:

PDF, 402 KB

english, 2011

21

Axiomatizing fixpoint logics

Journal:

Information Processing Letters

Year:

1992

Language:

english

File:

PDF, 606 KB

english, 1992

22

A complete axiomatic characterization of first-order temporal logic of linear time

Journal:

Theoretical Computer Science

Year:

1987

Language:

english

File:

PDF, 1.83 MB

english, 1987

23

Communication between agents with heterogeneous perceptual capabilities

Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas

Journal:

Information Fusion

Year:

2007

Language:

english

File:

PDF, 329 KB

english, 2007

24

A new cholesterol derivative suitable for transfecting certain type of cells in the presence of 10% serum

Sochanik, Aleksander, Kaida, Irina, Mitrus, Iwona, Rajca, Andrzej, Szala, Stanisław

Journal:

Cancer Gene Therapy

Year:

2000

Language:

english

File:

PDF, 359 KB

english, 2000

25

Surface properties of carbons obtained from hexachlorobenzene and hexachloroethane by combustion synthesis

Stanisław Cudziło, Andrzej Huczko, Maciej Pakuła, Stanisław Biniak, Andrzej Świątkowski, Mateusz Szala

Journal:

Year:

2007

Language:

english

File:

PDF, 361 KB

english, 2007

26

An incompleteness result in process algebra

Journal:

Information Processing Letters

Year:

1988

Language:

english

File:

PDF, 342 KB

english, 1988

27

Propositional description of finite cause-effect structures

Leszek Holenderski, Andrzej Szalas

Journal:

Information Processing Letters

Year:

1988

Language:

english

File:

PDF, 610 KB

english, 1988

28

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1996 Volume 1113 || Partial order reduction: Model-checking using representatives

Penczek, Wojciech, Szałas, Andrzej

Year:

1996

Language:

english

File:

PDF, 1.16 MB

english, 1996

29

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1996 Volume 1113 || From specifications to programs: A fork-algebraic approach to bridge the gap

Penczek, Wojciech, Szałas, Andrzej

Year:

1996

Language:

english

File:

PDF, 599 KB

english, 1996

30

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1996 Volume 1113 || Models of DNA computation

Penczek, Wojciech, Szałas, Andrzej

Year:

1996

Language:

english

File:

PDF, 1.06 MB

english, 1996

31

WORL: a nonmonotonic rule language for the semantic web

Cao, Son Thanh, Nguyen, Linh Anh, Szałas, Andrzej

Journal:

Vietnam Journal of Computer Science

Year:

2014

Language:

english

File:

PDF, 370 KB

english, 2014

32

A new heterostructures fabrication technique and properties of produced SbSI/Sb2S3 heterostructures

Toroń, Bartłomiej, Nowak, Marian, Kępińska, Mirosława, Grabowski, Andrzej, Szala, Janusz, Szperlich, Piotr, Malka, Iwona, Rzychoń, Tomasz

Journal:

Optics and Lasers in Engineering

Year:

2014

Language:

english

File:

PDF, 1.12 MB

english, 2014

33

Toxicity assessment of SiC nanofibers and nanorods against bacteria

Szala, Mateusz, Borkowski, Andrzej

Journal:

Ecotoxicology and Environmental Safety

Year:

2014

Language:

english

File:

PDF, 1.73 MB

english, 2014

34

Combustion Synthesis as a Novel Method for Production of 1-D SiC Nanostructures

Huczko, Andrzej, Bystrzejewski, Michał, Lange, Hubert, Fabianowska, Agnieszka, Cudziło, Stanisław, Panas, Andrzej, Szala, Mateusz

Journal:

Journal of Physical Chemistry B

Year:

2005

Language:

english

File:

PDF, 1.07 MB

english, 2005

35

Antitumor Effects of Recombinant Antivascular Protein ABRaA-VEGF121Combined with IL-12 Gene Therapy

Ciomber, Agnieszka, Smagur, Andrzej, Mitrus, Iwona, Cichoń, Tomasz, Smolarczyk, Ryszard, Sochanik, Aleksander, Szala, Stanisław, Jarosz, Magdalena

Journal:

Archivum Immunologiae et Therapiae Experimentalis

Year:

2014

Language:

english

File:

PDF, 2.00 MB

english, 2014

36

Towards incorporating background theories into quantifier elimination

Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Year:

2008

Language:

english

File:

PDF, 237 KB

english, 2008

37

Foreword

Orlowska, Ewa, Policriti, Alberto, Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Year:

2006

Language:

english

File:

PDF, 20 KB

english, 2006

38

Paraconsistent semantics of speech acts

Dunin-Kȩplicz, Barbara, Strachocka, Alina, Szałas, Andrzej, Verbrugge, Rineke

Journal:

Year:

2015

Language:

english

File:

PDF, 944 KB

english, 2015

39

[IEEE 2011 Third International Conference on Knowledge and Systems Engineering (KSE) - Hanoi, Vietnam (2011.10.14-2011.10.17)] 2011 Third International Conference on Knowledge and Systems Engineering - WORL: A Web Ontology Rule Language

Cao, Son Thanh, Nguyen, Linh Anh, Szalas, Andrzej

Year:

2011

Language:

english

File:

PDF, 247 KB

english, 2011

40

Converse-PDL with regular inclusion axioms: a framework for MAS logics

Dunin-Kęplicz, Barbara, Nguyen, Linh Anh, Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Year:

2011

Language:

english

File:

PDF, 341 KB

english, 2011

41

Adsorption studies of azotetrazolate and 3,6-dihydrazinotetrazine on peat

Borkowski, Andrzej, Rydelek, Paweł, Szala, Mateusz

Journal:

Journal of Environmental Science and Health Part A

Year:

2013

Language:

english

File:

PDF, 304 KB

english, 2013

42

Adsorption Studies of the Gram-Negative Bacteria onto Nanostructured Silicon Carbide

Borkowski, Andrzej, Szala, Mateusz, Cłapa, Tomasz

Journal:

Applied Biochemistry and Biotechnology

Year:

2015

Language:

english

File:

PDF, 832 KB

english, 2015

43

Mannose-Binding Lectin (MBL) and MBL-associated serine protease-2 (MASP-2) in women with malignant and benign ovarian tumours

Swierzko, Anna St., Szala, Agnieszka, Sawicki, Sambor, Szemraj, Janusz, Sniadecki, Marcin, Sokolowska, Anna, Kaluzynski, Andrzej, Wydra, Dariusz, Cedzynski, Maciej

Journal:

Cancer Immunology, Immunotherapy

Year:

2014

Language:

english

File:

PDF, 417 KB

english, 2014

44

[IEEE 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE) - Danang, Vietnam (2012.08.17-2012.08.19)] 2012 Fourth International Conference on Knowledge and Systems Engineering - Concept Learning for Description Logic-Based Information Systems

Tran, Thanh-Luong, Ha, Quang-Thuy, Hoang, Thi-Lan-Giao, Nguyen, Linh Anh, Nguyen, Hung Son, Szalas, Andrzej

Year:

2012

Language:

english

File:

PDF, 256 KB

english, 2012

45

Towards richer rule languages with polynomial data complexity for the Semantic Web

Nguyen, Linh Anh, Nguyen, Thi-Bich-Loc, Szałas, Andrzej

Journal:

Data & Knowledge Engineering

Year:

2015

Language:

english

File:

PDF, 447 KB

english, 2015

46

Oxidative stress in bacteria (Pseudomonas putida) exposed to nanostructures of silicon carbide

Borkowski, Andrzej, Szala, Mateusz, Kowalczyk, Paweł, Cłapa, Tomasz, Narożna, Dorota, Selwet, Marek

Journal:

Year:

2015

Language:

english

File:

PDF, 1.68 MB

english, 2015

47

[Studies in Fuzziness and Soft Computing] Relational Methods for Computer Science Applications Volume 65 || Relations Old and New

Orłowska, Ewa, Szałas, Andrzej

Year:

2001

Language:

english

File:

PDF, 1.07 MB

english, 2001

48

Microstructural Phenomena Occurring during Early Stages of Cavitation Erosion of Al-Si Aluminium Casting Alloys

Dybowski, Bartłomiej, Szala, Mirosław, Kiełbus, Andrzej, Hejwowski, Tadeusz

Journal:

Solid State Phenomena

Year:

2015

Language:

english

File:

PDF, 1.10 MB

english, 2015

49

Exception handling in parallel computations

Szalas, Andrzej, Szczepanska, Danuta

Journal:

ACM SIGPLAN Notices

Year:

1985

Language:

english

File:

PDF, 633 KB

english, 1985

50

[ACM Press the Third Symposium - Ha Long, Vietnam (2012.08.23-2012.08.24)] Proceedings of the Third Symposium on Information and Communication Technology - SoICT '12 - A bisimulation-based method of concept learning for knowledge bases in description logics

Ha, Quang-Thuy, Hoang, Thi-Lan-Giao, Nguyen, Linh Anh, Nguyen, Hung Son, Szałas, Andrzej, Tran, Thanh-Luong

Year:

2012

Language:

english

File:

PDF, 823 KB

english, 2012